Solving Non-Linear Inequalities